Formal Modeling of Communication Platforms usingReconfigurable Algebraic High-Level NetsThis work has been partly funded by the research project forMAlNET (see ` `%%%`#`&12_`__~~~) of the German Research Council and by the Integrated Graduate Program on Human-Centric Communication at Technische Universität Berlin
نویسندگان
چکیده
Communication nowadays is based on communication platforms like Skype, Facebook, or SecondLife. The formal modeling and analysis of communication platforms poses considerable challenges, namely highly dynamic structures and complex behavior. Since most of the well-known formal modeling approaches are adequate only for specific aspects of communication platforms, in this paper we introduce the approach of reconfigurable algebraic high-level nets with individual tokens and show in our case study Skype that this approach is adequate for modeling the main aspects and features of communication platforms.
منابع مشابه
Formal Modeling and Analysis of Mobile Ad Hoc Networks and Communication Based Systems using Graph and Net Technologies
During the last decade, mobile and flexible communication based systems have become more and more important. In our research project "Formal modeling and analysis of flexible processes in mobile ad-hoc networks" (forMAlNET ∗) we have proposed an adequate formal modeling technique due to the integration of Petri nets and Petri net transformations called reconfigurable systems and algebraic highe...
متن کاملFunctorial Analysis of Algebraic Higher-Order Net Systems with Applications to Mobile Ad-Hoc NetworksThis work has been partly funded by the research project eserved@d = *@let@token 2551forMANET (see ` `%%%`#`&12_`__~~~) of the German Research Council
Algebraic higher-order (AHO) net systems are Petri nets with place/ transition systems, i.e. place/transition nets with initial markings, and rules as tokens. In several applications, however, there is the need for explicit data modeling. The main idea of this paper is to introduce AHO net systems with high-level net systems and corresponding rules as tokens. We relate them to AHO net systems w...
متن کاملIntegrating the Population Perspective into Health System Performance Assessment (IPHA): Study Protocol for a Cross-Sectional Study in Germany Linking Survey and Claims Data of Statutorily and Privately Insured
Background Health system performance assessment (HSPA) is a major tool for evidence-based governance in health systems and patient/population-orientation is increasingly considered as an important aspect. The IPHA study aims (1) to undertake a comprehensive performance assessment of the German health system from a population perspec...
متن کاملExploring Health System Responsiveness in Ambulatory Care and Disease Management and its Relation to Other Dimensions of Health System Performance (RAC) – Study Design and Methodology
Background The responsiveness of a health system is considered to be an intrinsic goal of health systems and an essential aspect in performance assessment. Numerous studies have analysed health system responsiveness and related concepts, especially across different countries and health systems. However, fewer studies have applied the concept for the evaluation of specific healthcare delivery s...
متن کاملDual Band Slotted Patch Antenna for On/Off-body Communication
Body Centric Wireless Communication (BCWC) has been topic of much research in recent years. In this manuscript, a novel low-cost microstrip patch antenna is designed for on-/off-body communication with a dual-band operation. The proposed structure exhibits a monopole-like radiation pattern at 2.45 GHz and a broadside radiation at 4.8 GHz, simultaneously. Lateral dimensions of 42 mm × 46 mm and ...
متن کامل